Infinite Multi-bases
نویسندگان
چکیده
Infinite multi-bases can have infinite and multiple type declarations for the same variable. They can be used as a proof-technique to manipulate only one common basis along the proof. However, no proper definition and precise study of typed lambda calculus with infinite multi-bases appear in the literature. This paper introduces type assignment systems with infinite multi-bases and studies the basic meta-theoretic properties. As an application of our study of multi-bases, we prove that a function on λ-terms satisfies the type semantics property if and only if this function defines a λ structure which coincides with the usual filter structure.
منابع مشابه
A Method for Generating Infinite Positive Self-adjoint Test Matrices and Riesz Bases
In this article we propose a method to easily generate infinite multi-index positive definite self-adjoint matrices as well as Riesz bases in suitable subspaces of L2(Rd). The method is then applied to obtain some classes of multi-index Toeplitz matrices which are bounded and strictly positive on 2(Zd). The condition number of some of these matrices is also computed.
متن کاملA new solving approach for fuzzy multi-objective programming problem in uncertainty conditions by using semi-infinite linear programing
In practice, there are many problems which decision parameters are fuzzy numbers, and some kind of this problems are formulated as either possibilitic programming or multi-objective programming methods. In this paper, we consider a multi-objective programming problem with fuzzy data in constraints and introduce a new approach for solving these problems base on a combination of the multi-objecti...
متن کاملQuasi-Gap and Gap Functions for Non-Smooth Multi-Objective Semi-Infinite Optimization Problems
In this paper, we introduce and study some new single-valued gap functions for non-differentiable semi-infinite multiobjective optimization problems with locally Lipschitz data. Since one of the fundamental properties of gap function for optimization problems is its abilities in characterizing the solutions of the problem in question, then the essential properties of the newly introduced ...
متن کاملMulti-sorted logic, models and logical geometry
Let Θ be a variety of algebras, (H, Ψ, f) be a model, where H is an algebra from Θ, Ψ is a set of relation symbols ϕ, f is an interpretation of all ϕ in H. Let X 0 be an infinite set of variables, Γ be a collection of all finite subsets in X 0 (collection of sorts), Φ be the multi-sorted algebra of formulas. These data define a knowledge base KB(H, Ψ, f). In the paper the notion of isomorphism ...
متن کاملStreaming Multi-Context Systems
Multi-Context Systems (MCS) are a powerful framework to interlink heterogeneous knowledge bases under equilibrium semantics. Recent extensions of MCS to dynamic data settings either abstract from computing time, or abandon a dynamic equilibrium semantics. We thus present streaming MCS, which have a run-based semantics that accounts for asynchronous, distributed execution and supports obtaining ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007